Interpreting Specialization in Type Theory
نویسنده
چکیده
We de ne the static semantics of o ine partial evaluation for the simply-typed lambda calculus using a translation into a Martin-Lof-style type theory with suitable extensions. Our approach clari es that the distinction between specialization-time and run-time computation in partial evaluation can model the phase distinction between compile-time and run-time computation in a module language. Working backwards from that connection, we de ne partial evaluation for a core language with modules.
منابع مشابه
Police Interpreting: A View from the Australian Context
In the global village of today, more people have been moving and migrating than ever before creating a need for better communication. Thus community interpreting rose as a specialization serving the needs of members of the community who are unable to communicate with the system. Within this broad field of interpreting the specialist area of legal interpreting assumed a high position. However, l...
متن کاملApplying Ethics in Interpreting: Investigating Attitudes and Strategies in an Iranian Context
Ethics is a crucial issue in the different dimensions of human life; hence, there seems to be a dire need for research to be conducted on ethics in different domains including translation studies and interpreting. This qualitative-exploratory research aimed at investigating the attitudes and strategies of applying ethics in in- terpreting through employing a triangulation method. Twenty interpr...
متن کاملThe Visual Transitivity System in Two ELT Books Series
The present study aims to investigate the system of the visual transitivity by analyzing the images of American English file (2014) and Cutting edge (2005) series based on Halliday’s (1976) systemic functional linguistics and Kress and van leuween’s (1997-2006) social semiotics. The system of visual transitivity refers to a type of process which determines how represented participants are label...
متن کاملInterpreting Iranian Architecture in The Post-Revolutionary Period with Interaction Model of Tectonic and Stereotomic Theory Approaches
Since tectonic and stereotomic theories have neither been used systematically nor dealt with simultaneously for the interpretation of architecture, by explaining the theoretical position of critics and their thoughts, the process of their interaction will be more effective. The main questions asked is it possible to interpret architecture through the interaction of tectonic and stereotomical th...
متن کاملChecking the Consistency of UML
This article presents a formal semantics for UML based on algebraic abstract types. Currently we only consider class diagrams and object diagrams. These diagrams include class structure, association, car-dinality expression, constraint, instance as well as specialization relationship. We give a formal semantics for each of these elements by interpreting the structure of a class as an abstract d...
متن کامل